| emsoft | participants

Elizabeth Polgreen

EMSOFT 2023: 23rd International Conference on Embedded Software

Towards Building Verifiable CPS using Lingua Franca

Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia